02500	OP
02600	←(V1,A1)
02700	NIL
02800	NIL
02900	NIL
03000	ISVAR(V1);;
03100	C(V1,A1);;
03200	
03300	ITERATIVE
03320	TFIB
03340	NIL
03360	NIL
03380	NIL
03400	NEWVAR(V1,V2);INTEGER(V8);C(V1,(2));C(V2,(1));C(V3,(ADD1(1)));;
03420	C(V1,V5);C(V2,V9);C(V3,V10);VFIB(V5,V10);VFIB((SUB1 V5),V9);;
03440	C(V1,(ADD1 V5));FIB(V2,V5);FIB(V3,(ADD1 V5));;
03460	>(V5,V8);;
03480	FIB(V3,V8);;
03500	FIB(V3,V8);;
03520	
03540	DEF
03560	TDFIB
03580	NIL
03600	NIL
03620	NIL
03640	VFIB(V2,V3));C(V4,V3);;
03680	FIB(V4,V2);;
03720	
03723	
03726	AXIOM
03729	TAFIB
03732	NIL
03735	T
03738	NIL
03741	VFIB((SUB1 V13),V15); VFIB((SUB1(SUB1 V13)),V16); =(V14,(PLUS V15 V16));;
03744	VFIB(V13,V14);;
04500	
04550	NIL
04700	NIL
04800	
04900	ISVAR(X3);INTEGER(N);VFIB((2),(ADD1(1)));VFIB((SUB1(2)),(1));;
05000	
05100	T
05200	
05600	((C T NIL NIL (X,*))
05700	(FIB T NIL NIL NIL)
05720	(> NIL NIL NIL NIL)
05725	(INTEGER NIL NIL NIL NIL)
05731	(= T NIL NIL NIL)
05733	(VFIB T NIL NIL NIL)
05740	(CFIB T NIL NIL NIL))
05760	
06100	
06200	T
06300	
06400	((ADD1(X)( /( X /+ 1 /) ))
06450	(SUB1(X)( /( X /- 1 /) ))
06500	(PLUS(X Y)( /( X /+ Y /) ))  )
06600